home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 2 / Apprentice-Release2.iso / Tools / Languages / Caml Light 0.61 / Source / src / lib / bool.mli < prev    next >
Encoding:
Text File  |  1993-09-24  |  421 b   |  15 lines  |  [TEXT/MPS ]

  1. (* Boolean operations *)
  2.  
  3. (* The boolean and is written [e1 & e2].
  4.    The boolean or  is written [e1 or e2].
  5.    Both constructs are sequential, left-to-right: [e2] is evaluated only
  6.    if needed. Actually,
  7.      [e1 & e2]  is equivalent to  [if e1 then e2 else false],
  8.    and
  9.      [e1 or e2] is equivalent to  [if e1 then true else e2].
  10. *)
  11.  
  12. value prefix not : bool -> bool = 1 "not"
  13.         (* The boolean negation. *)
  14. ;;
  15.